Optimal. Leaf size=73 \[ -\frac {(d (A-C)+B c) \log (\cos (e+f x))}{f}+x (A c-B d-c C)+\frac {B d \tan (e+f x)}{f}+\frac {C (c+d \tan (e+f x))^2}{2 d f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.06, antiderivative size = 73, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.097, Rules used = {3630, 3525, 3475} \[ -\frac {(d (A-C)+B c) \log (\cos (e+f x))}{f}+x (A c-B d-c C)+\frac {B d \tan (e+f x)}{f}+\frac {C (c+d \tan (e+f x))^2}{2 d f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3475
Rule 3525
Rule 3630
Rubi steps
\begin {align*} \int (c+d \tan (e+f x)) \left (A+B \tan (e+f x)+C \tan ^2(e+f x)\right ) \, dx &=\frac {C (c+d \tan (e+f x))^2}{2 d f}+\int (A-C+B \tan (e+f x)) (c+d \tan (e+f x)) \, dx\\ &=(A c-c C-B d) x+\frac {B d \tan (e+f x)}{f}+\frac {C (c+d \tan (e+f x))^2}{2 d f}+(B c+(A-C) d) \int \tan (e+f x) \, dx\\ &=(A c-c C-B d) x-\frac {(B c+(A-C) d) \log (\cos (e+f x))}{f}+\frac {B d \tan (e+f x)}{f}+\frac {C (c+d \tan (e+f x))^2}{2 d f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.47, size = 76, normalized size = 1.04 \[ \frac {-2 (d (A-C)+B c) \log (\cos (e+f x))+2 A c f x-2 (B d+c C) \tan ^{-1}(\tan (e+f x))+2 (B d+c C) \tan (e+f x)+C d \tan ^2(e+f x)}{2 f} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.33, size = 74, normalized size = 1.01 \[ \frac {C d \tan \left (f x + e\right )^{2} + 2 \, {\left ({\left (A - C\right )} c - B d\right )} f x - {\left (B c + {\left (A - C\right )} d\right )} \log \left (\frac {1}{\tan \left (f x + e\right )^{2} + 1}\right ) + 2 \, {\left (C c + B d\right )} \tan \left (f x + e\right )}{2 \, f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 2.93, size = 918, normalized size = 12.58 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.02, size = 136, normalized size = 1.86 \[ \frac {C d \left (\tan ^{2}\left (f x +e \right )\right )}{2 f}+\frac {B d \tan \left (f x +e \right )}{f}+\frac {c C \tan \left (f x +e \right )}{f}+\frac {\ln \left (1+\tan ^{2}\left (f x +e \right )\right ) A d}{2 f}+\frac {\ln \left (1+\tan ^{2}\left (f x +e \right )\right ) B c}{2 f}-\frac {\ln \left (1+\tan ^{2}\left (f x +e \right )\right ) C d}{2 f}+\frac {A \arctan \left (\tan \left (f x +e \right )\right ) c}{f}-\frac {B \arctan \left (\tan \left (f x +e \right )\right ) d}{f}-\frac {C \arctan \left (\tan \left (f x +e \right )\right ) c}{f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.51, size = 74, normalized size = 1.01 \[ \frac {C d \tan \left (f x + e\right )^{2} + 2 \, {\left ({\left (A - C\right )} c - B d\right )} {\left (f x + e\right )} + {\left (B c + {\left (A - C\right )} d\right )} \log \left (\tan \left (f x + e\right )^{2} + 1\right ) + 2 \, {\left (C c + B d\right )} \tan \left (f x + e\right )}{2 \, f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 8.68, size = 75, normalized size = 1.03 \[ \frac {\mathrm {tan}\left (e+f\,x\right )\,\left (B\,d+C\,c\right )}{f}-x\,\left (B\,d-A\,c+C\,c\right )+\frac {\ln \left ({\mathrm {tan}\left (e+f\,x\right )}^2+1\right )\,\left (\frac {A\,d}{2}+\frac {B\,c}{2}-\frac {C\,d}{2}\right )}{f}+\frac {C\,d\,{\mathrm {tan}\left (e+f\,x\right )}^2}{2\,f} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.28, size = 131, normalized size = 1.79 \[ \begin {cases} A c x + \frac {A d \log {\left (\tan ^{2}{\left (e + f x \right )} + 1 \right )}}{2 f} + \frac {B c \log {\left (\tan ^{2}{\left (e + f x \right )} + 1 \right )}}{2 f} - B d x + \frac {B d \tan {\left (e + f x \right )}}{f} - C c x + \frac {C c \tan {\left (e + f x \right )}}{f} - \frac {C d \log {\left (\tan ^{2}{\left (e + f x \right )} + 1 \right )}}{2 f} + \frac {C d \tan ^{2}{\left (e + f x \right )}}{2 f} & \text {for}\: f \neq 0 \\x \left (c + d \tan {\relax (e )}\right ) \left (A + B \tan {\relax (e )} + C \tan ^{2}{\relax (e )}\right ) & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________